BASEMENT: An Architecture and Methodology for Distributed Automotive Real-Time Systems
نویسندگان
چکیده
BASEMENT TM is a distributed real-time architecture developed for vehicle internal use in the automotive industry. BASEMENT covers application development, as well as the hardware and software that provide execution and communication support. This paper gives an overview of the BASEMENT concept, as well as presenting two system realizations. The first realization is based on the commercial real-time kernel Rubus, while the second is an ultra-dependable architecture (DACAPO) with provisions for fault tolerance at various system levels. BASEMENT is designed for the automotive systems of the future. These systems will be required to simultaneously handle multiple safety critical functions and a large number of less critical functions. All of these features are to be provided at a production cost substantially lower than that of current systems, and, at the same time, with a reliability allowing vehicles to be built without mechanical backup systems, even for safety critical subsystems such as braking and steering. The key constituents of the concept are: 1) resource sharing (multiplexing) of processing and communication resources, 2) a guaranteed real-time service for safety critical applications, 3) a best-effort service for nonsafety critical applications, 4) a communication infrastructure providing efficient communication between distributed devices, 5) a program development methodology allowing resource independent and application oriented development of application software, and 6) a straightforward and well-defined operation principle enabling efficient fault tolerance mechanisms to be employed.
منابع مشابه
An Off-line Scheduler and System Simulator for the Basement Tm Distributed Real-time Sys- Tem
BASEMENT is a distributed real-time architecture developed within the Swedish Road Transport Informatics Programme. BASEMENT is intended for vehicle internal use in the automotive industry. BASEMENT is holistic in that it covers application development as well as the hardwares and softwares that provide execution and communication support. The key constituents of BASEMENT are: resource sharing ...
متن کاملA Survey of Real-Time Automotive Systems∗
In many cyber-physical systems that support real-time applications, temporal guarantees are crucial. Automotive systems are such an example. In this paper, we survey selected prior work that addresses real-time issues in automotive systems. The covered topics includes real-time analysis of distributed architectures in automotive systems, two component-specific studies on Engine Control Unit and...
متن کاملDistributed Development of Automotive Real-time Systems based on Function-triggered Timing Constraints
This paper proposes a new model-driven approach to develop automotive real-time systems. Instead of constraining implementation-driven timing properties – like offsets, periods or the like – for software, our approach uses so-called functiontriggered timing constraints as basis of system configuration. These constraints are implementationindependent. The main focus is how such kinds of constrai...
متن کاملProbabilistic Timing Analysis of Distributed Real-time Automotive Systems
Probabilistic Timing Analysis of Distributed Real-time Automotive Systems by Haibo Zeng Doctor of Philosophy in Engineering-Electrical Engineering and Computer Sciences University of California, Berkeley Professor Alberto L. Sangiovanni-Vincentelli, Chair Distributed architectures supporting the execution of real-time applications are common in automotive systems. Many applications, including m...
متن کاملComparative Application of Real-Time Verification Methods to an Automotive Architecture
Designing embedded systems is a challenge. This applies especially to distributed automotive architectures. The high connectivity of different control units forms heterogeneous system architectures that have to handle the many different applications involved in providing the systems’ services. This has a direct impact on model based design techniques which must be able to verify that different ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEEE Trans. Computers
دوره 46 شماره
صفحات -
تاریخ انتشار 1997